категоричность в мощности

категоричность в мощности
Mathematics: categoricalness in power

Универсальный русско-английский словарь. . 2011.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "категоричность в мощности" в других словарях:

  • КАТЕГОРИЧНОСТЬ В МОЩНОСТИ — x свойство класса алгебраич. систем, заключающееся в изоморфизме всех систем из этого класса, имеющих мощность x. Теория Т1 го порядка наз. категоричной в мощности х, если все модели Тмощности xизоморфны одной алгебраич. системе. Счетная полная… …   Математическая энциклопедия

  • КАТЕГОРИЧНОСТЬ СИСТЕМЫ АКСИОМ — свойство, выражающее содержат. полноту системы аксиом. Система аксиом наз. категоричной, если она однозначно определяет только одну систему предметов с точностью до изоморфизма, т.е. если все интерпретации, или модели, этой системы изоморфны друг …   Философская энциклопедия

  • Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …   Википедия

  • Моделей теория — Теория моделей  это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… …   Википедия

  • АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …   Математическая энциклопедия

  • Оптика — (греч. optikē наука о зрительных восприятиях, от optós видимый, зримый)         раздел физики, в котором изучаются природа оптического излучения (См. Оптическое излучение) (света), его распространение и явления, наблюдаемые при взаимодействии… …   Большая советская энциклопедия

  • ТЕОРЕТИКО-МНОЖЕСТВЕННАЯ ЛОГИКА — (теоретико множественная логика п р е д и к а т о в) – логика, трактуемая с т. зр. теории множеств. К Т. м. л. в широком с м ы с л е можно отнести любые интерпретации логич. исчислений, в основу к рых положено объемное, экстенсиональное понимание …   Философская энциклопедия

  • МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …   Философская энциклопедия

  • МАТЕМАТИЧЕСКАЯ БЕСКОНЕЧНОСТЬ — общее название разл. реализаций идеи бесконечности в математике. Хотя между значениями понятия М. б. и др. значениями, в к рых употребляется термин бесконечность , нет жесткой границы (поскольку все эти понятия в конечном счете отражают весьма… …   Философская энциклопедия

  • Натуральное число — Натуральные числа можно использовать для счёта (одно яблоко, два яблока и т. п.). Натуральные числа (естественные числа)  числа, возникающие естественным образом при счёте (как в смысле перечисл …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»